1

Formal Verification of Simulink/Stateflow Diagrams ||

Year:
2017
Language:
english
File:
PDF, 4.17 MB
english, 2017
2

A remark on the Navier-Stokes equations with the Coriolis force

Year:
2017
Language:
english
File:
PDF, 264 KB
english, 2017
6

Formal Verification of Simulink/Stateflow Diagrams || Hybrid Hoare Logic

Year:
2017
Language:
english
File:
PDF, 174 KB
english, 2017
47

Challenges and strategies for Chinese university journals

Year:
2004
Language:
english
File:
PDF, 157 KB
english, 2004
49

Impulsive pinning synchronization of discrete-time network

Year:
2016
Language:
english
File:
PDF, 1.39 MB
english, 2016